ترکیب منطق های زمانی ساختی با فراسازگاری
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
- نویسنده کبری صالحی
- استاد راهنما مجتبی آقایی بهناز عمومی
- تعداد صفحات: ۱۵ صفحه ی اول
- سال انتشار 1390
چکیده
چکیده: این پایان نامه اولین مطالعه ی نظریه اثباتی و نظریه مدلی از ترکیب منطق های با زمان محدود و منطق های ساختی است. ابتدا به منظور فراهم کردن یک پایه نظری مفید برای استدلال های زمانی که دارای خاصیت ساختی و فراسازگارند، دو منطق ib[l] و pb[l] معرفی می شود. این منطق ها دو مدل محدود و ساختی از ltl و توسیع هایی از منطق شهودی یا منطق فراسازگار نلسون هستند که تحت عنوان حساب های رشته ای گنتسنی b[l] و pb[l] معرفی می شوند. در این منطق ها با وجود محدودیت دامنه ی زمان همه ی اصول موضوعه ی زمانی مانند اصل استقرای زمان نتیجه می شوند. با استفاده از اِین سیستم ها قواعد جانشانی مناسبی به ترتیب درون منطق های شهودی و فراسازگار نلسون تعریف می شود و از این قواعد برای اثبات قضایای حذف برش، تصمیم پذیری، سلامت و تمامیت ib[l] و pb[l] استفاده می شود. سپس به معرفی سیستم های استنتاج طبیعی nib[l] و npb[l] و بیان قضیه ی نرمال-سازی برای آن ها پرداخته می شود. در پایان حساب های رشته ای?ib[l] و ?pb[l] معرفی می شود و قضایای حذف برش، سلامت و تمامیت برای آن ها بیان می شود. رده بندی موضوعی: (44b03) 53b03. کلمات کلیدی: منطق زمانی، ساختی، فراسازگار، استنتاج طبیعی، سلامت، تمامیت، نرمال سازی و حذف برش.
منابع مشابه
تحلیل کمی تأثیر فعالیتهای نوزمین ساختی بر شاخص های ریخت زمین ساختی در حوضه آبریز زیارت
پژوهش کنونی به منظور شناخت فعالیت های نو زمین ساختی حوضه آبریز زیارت، در دامنه شمالی البرز خاوری واقع در جنوب گرگان و با استفاده از محاسبه شاخص های ریخت زمین-ساختی و شواهد زمین ساختی موجود در منطقه، صورت گرفته است. در این راستا 6 شاخص زمین ریختی (شاخص های شیب رود، نامتقارنی حوضه زهکشی، شکل حوضه، منحنی فرازسنجی، انتگرال فرازسنجی و پیچ و خم پیشانی کوهستان) محاسبه و نتایج به دست آمده از آنها مورد ...
متن کاملاثبات قضیه در منطق های زمانی به کمک رایانه و کاربر
هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...
متن کاملتحوّل ساختی و معنایی «نفر»
یکی از مباحث مهم زبان، تحوّل در گونه‌های مختلف آن است. این تحوّل گاه در ساخت و گاه در نحو و زمانی در تغییر مقوله‌های زبانی و واک‌ها و یا در معانی است که در گذر زمان در بخش‌های مذکور روی می‌دهد. تحوّل معانی شامل‌ترین گونه تحوّل شمرده می‌شود و در مباحث زبانی کمتر بدان پرداخته شده است. بحث دربارۀ این گونه که می بایست یکی از مباحث سه گانه دستورها باشد، مغفول مانده است و تنها در کتاب‌های لغت و فرهنگها، ...
متن کاملارزیابی فعالیت های نوزمین ساختی منطقه خاوری شهر یزد
منطقه مورد مطالعه بخشی از بلوک یزد (باختری‌ترین زیرپهنه بخش مرکزی ایران‌مرکزی) بوده که در خاور شهر یزد واقع شده است. وجود دو سیستم گسلی اصلی انار و خرانق به ترتیب به طول تقریبی 100 و 62 کیلومتر و گسلهای فرعی متعدد، نشاندهنده ظهور پدیدههای مهم زمینساختی در این منطقه است. بنابراین، هدف از این پژوهش بررسی وضعیت نوزمینساخت در این حوضه با استفاده از شاخصهای ریختزمینساختی اس...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان - دانشکده ریاضی
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023